Skip to main content
Share
Favorite

17
RESULTS

texts 17
COLLECTION
TOPIC
equivalence class 17
equivalence 11
equivalence classes 8
theorem 6
lemma 5
boolean 4
algorithm 3
boolean function 3
report 3
bell system 2
boolean matching 2
canonical 2
code 2
congruence 2
constant 2
decision procedure 2
define 2
ecl 2
ecl gate 2
elementary recursive 2
equivalence relation 2
fanin 2
finite 2
formula 2
gate 2
gates 2
grammar 2
matrix 2
node 2
permutation 2
program 2
proof 2
system 2
system technical 2
technical 2
technical note 2
technology mapper 2
technology mapping 2
tms 2
turing machine 2
valid decomposition 2
weak direct 2
wrl 2
wrl technical 2
abelian 1
algebraic simplification 1
ambisyllabic phonemes 1
articulation 1
assignment automaton 1
automaton 1
basic actions 1
belief 1
belief revision 1
beliefs 1
boolean formula 1
broad 1
broad phonetic 1
canonical names 1
canonical naming 1
chapter iii 1
class size 1
code generator 1
codes 1
columns 1
commands 1
commands defined 1
compaq systems 1
congruence closure 1
congruence grammar 1
congruence relation 1
conjecture 1
constraint 1
constraint propagation 1
constraints 1
context free 1
conventional view 1
current set 1
decision procedures 1
default assumption 1
definition 1
denali 1
designator 1
designators 1
direct product 1
dovetail 1
ecl gates 1
elementary 1
env 1
env vee 1
equalities 1
equality 1
equality system 1
equation 1
equation set 1
equations 1
equivalent 1
error 1
errors 1
exists 1
experiment 1
expr 1
expression 1
expression form 1
expressions 1
fanin max 1
fewer looping 1
finitely generated 1
fixpoint 1
fixpoint method 1
formulas 1
free expression 1
function 1
generated 1
generated abelian 1
generator 1
generator matrices 1
generator matrix 1
geometric 1
geometric predicates 1
grammar rewriting 1
grammar term 1
greg nelson 1
group 1
group codes 1
indecomposable 1
indecomposable codes 1
inference 1
inference algorithm 1
inference procedure 1
inference rules 1
interpretation 1
invariant 1
justification 1
justifications 1
language generated 1
linear 1
linear form 1
linear threshold 1
linearly unrecognizable 1
locally context 1
longo 1
looping 1
looping outcomes 1
lower bound 1
machine 1
machine code 1
machine program 1
manfred broy 1
matcher 1
matching 1
maximal 1
maximal expression 1
maximum likelihood 1
network 1
network graph 1
nodes 1
nonempty collection 1
nonterminal 1
nonterminal symbol 1
normal form 1
operator 1
order 1
order theory 1
pairwise disjoint 1
partial equivalence 1
phonemes 1
phonetic 1
phonetic constraints 1
phonetic sequence 1
polynomial 1
predicate 1
predicate calculus 1
predicates 1
primitive functions 1
problem solver 1
problem solving 1
productions 1
programming language 1
quantified knowledge 1
quest 1
random walk 1
recognition 1
record types 1
recursive types 1
rewriting 1
rewriting system 1
routing 1
routing matrix 1
satisfiability 1
satisfiability solver 1
search principle 1
semantic interpretation 1
semantics 1
sequence 1
sequential phonetic 1
set 1
seymour papert 1
simple assignment 1
simplicity 1
simplicity order 1
SHOW DETAILS